"Think of the federal government as a gigantic insurance company (with a side line business in national defense and homeland security) which only does its accounting on a cash basis-only counting premiums and payouts as they go in and out the door.? An insurance company with cash accounting is not an insurance company at all.? It is an accident waiting to happen." Peter R. Fisher, former Bush Administration Undersecretary of the Treasury

?

"Our objective in preparing the fiscal year 2005 Financial Report of the U.S. Government is to give Congress and the American people a timely and useful report on the cost of the Federal Government's operations." John W. Snow, former Bush Administration Secretary of the Treasury ?

"Scoring the budget on an accrual basis-the private sector norm and, I believe, a sensible direction for federal budget accounting-would better underscore the tradeoffs we face.? Under accrual accounting, benefits would be counted as they are earned by workers rather than when they are paid out by the government." Alan Greenspan, former Chairman of the Federal Reserve Board

?

"The significance of these accrual-based reports is that they show the implications of current budgetary decisions over a longer time horizon?. This information is therefore an important element of the debate about the real effects of governmental commitments." Paul H. O'Neill, former Bush Administration Secretary of the Treasury

?

"[A] practical management tool for policy-makers and a source of useful information for the public about the assets, liabilities, and operations of the government." Lawrence H. Summers, former Clinton Administration Secretary of the Treasury

?

"We believe that the publication of this financial report is an important step in providing the American public with useful information about their government's assets, liabilities and operations." Robert E. Rubin, former Clinton Administration Secretary of the Treasury In December 2005, the White House published its Financial Report of the United States Government-only 2000 copies were printed despite the purpose of the report being to explain the country's financial wellbeing to Congress and the American people. Now, for the first time, that report is widely published so the American people can see what's really going on with the nation's finances.

Master the game of Mahjong while learning about its legends and history with this entertaining and useful guide. An excellent way to learn Mahjong or "Mah Jongg"--The Great Mahjong Book is the perfect resource for beginner or experienced mahjong players. Richly illustrated and easy to follow with detailed instructions and clear examples, it can help all players improve their game. Mahjong beginners get a solid introduction to the rules and equipment they need to get started, while better players will find invaluable tips for mastering the game. The Great Mahjong Book also includes the entire history of Mahjong as it spread around the globe, the equipment and accessories used in the game, basic rules, how and where the game first developed and all the international variants of Mahjong--including China, the U.S., Holland, the U.K., France, Germany, Italy, Japan and Hong Kong. Filled with hints, fun facts and numerous illustrations of memorabilia and artifacts, this authoritative and thoroughly enjoyable book is a perfect gift for anyone interested in this ancient and beguiling game. Mahjong players love the game because it's colorful, exotic, and fun! Whether you're a first time player or a pro, The Great Mahjong Book is a perfect companion to the wide world of Mahjong.

"This book has been a steadfast portal through which millions in the West have peered to catch at the very least a glimpse of Zen mind at play in all its thought-shattering dialogue, humor, joy, and wisdom."--Jon Kabat-Zinn, author of Wherever You Go, There You Are Zen Flesh, Zen Bones offers a remarkable collection of primary sources which enable readers to experience the meaning of Zen directly for themselves. It includes: 101 Zen Stories, a collection of tales recounting the experiences of Chinese and Japanese Zen Buddhist teachers over a period of over five centuries The Gateless Gate, a famous collection of Zen koans Ten Bulls, a commentary on the stages of awareness leading to enlightenment Centering, an ancient text from India that many consider to provide the foundations for Zen Buddhism When Zen Flesh, Zen Bones was first published in 1957 it created an instant sensation with an entire generation of readers who were just beginning to discover Zen. Over the years it has inspired leading Zen teachers, students and practitioners around the world, and its popularity is as strong today as ever.

This book is a detailed account of the Synthesizer Generator, a system for creat ing specialized editors that are customized for editing particular languages. The book is intended for those with an interest in software tools and in methods for building interactive systems. It is a must for people who are using the Syn thesizer Generator to build editors because it provides extensive discussions of how to write editor specifications. The book should also be valuable for people who are building specialized editors "by hand," without using an editor generating tool. The need to manage the development of large software systems is one of the most pressing problems faced by computer programmers. An important aspect of this problem is the design of new tools to aid interactive program develop ment. The Synthesizer Generator permits one to create specialized editors that are tailored for editing a particular language. In program editors built with the Synthesizer Generator, knowledge about the language is used to continuously assess whether a program contains errors and to determine where such errors occur. The information is then displayed on the terminal screen to provide feed back to the programmer as the program is developed and modified."

Increasingly our critical infrastructures are reliant on computers. We see examples of such infrastructures in several domains, including medical, power, telecommunications, and finance. Although automation has advantages, increased reliance on computers exposes our critical infrastructures to a wider variety and higher likelihood of accidental failures and malicious attacks. Disruption of services caused by such undesired events can have catastrophic effects, such as disruption of essential services and huge financial losses. The increased reliance of critical services on our cyberinfrastructure and the dire consequences of security breaches have highlighted the importance of information security. Authorization, security protocols, and software security are three central areas in security in which there have been significant advances in developing systematic foundations and analysis methods that work for practical systems. This book provides an introduction to this work, covering representative approaches, illustrated by examples, and providing pointers to additional work in the area. Table of Contents: Introduction / Foundations / Detecting Buffer Overruns Using Static Analysis / Analyzing Security Policies / Analyzing Security Protocols

Reinhard Wilhelm's career in Computer Science spans more than a third of a century. During this time, he has made numerous research contributions to the areas of programming languages, compilers and compiler generators, static program analysis, program transformation, algorithm animation, and real-time systems; co-founded a company to transfer some of these ideas to industry; held the Chair for Programming Languages and Compiler Construction at Saarland University; and served since its inception in 1990 as the Scientific Director of the International Conference and Research Center for Computer Science at Schloss Dagstuhl.

This Festschrift volume, published to honor Reinhard Wilhelm on his 60th Birthday on June 10, 2006, includes 15 refereed papers by leading researchers, his graduate students and research collaborators, as well as current and former colleagues, who all attended a celebratory symposium held at Schloss Dagstuhl, Germany. The articles of this volume thus serve also as the proceedings of the aforementioned Dagstuhl symposium.

The Synthesizer Generator is a system for automating the implementation of language-based editing environments. The editor designer prepares a specification that includes rules defining a language's context-free abstract syn tax, context-sensitive relationships, display format, and concrete input syntax. From this specification, the Synthesizer Generator creates a display editor for manipulating objects according to these rules [Reps84]. This volume, The Synthesizer Generator Reference Manual, is intended as the defining document of the system. A companion volume, The Synthesizer Gen erator: A System for Constructing Language-Based Editors [Reps88], provides a more tutorial description of the system; it contains numerous examples that illustrate the specification and use of generated editors, as well as chapters that explain important algorithms of the implementation. The Synthesizer Generator is a generalization of our earlier system, the Cor nell Program Synthesizer [Teitelbaum81], which was a programming environ ment for a specific small dialect of PL/I. It featured a display-oriented, syntax directed editor, an incremental compiler, an execution supervisor supporting source-level debugging, and a file system containing syntactically typed pro gram fragments. Whereas PL/I was built into the Cornell Program Synthesizer, the Synthesizer Generator accepts a formal language definition as input. Although originally conceived as a tool for creating Synthesizer-like environments for arbitrary pro gramming languages, the Synthesizer Generator is more broadly useful. Any textual language with a hierarchical phrase structure grammar is a candidate. vi Preface Interactive theorem proving for formal mathematics and logic, for example, has emerged as a particularly suitable application.

"It has stayed with me for the last 30 years, a classic portraying Zen mind to our linear thinking." --Phil Jackson, Head Coach of the Chicago Bulls and author of Sacred Hoops Zen Flesh, Zen Bones offers a collection of accessible, primary Zen sources so that readers can contemplate the meaning of Zen for themselves. Within the pages, readers will find: 101 Zen Stories, a collection of tales that recount actual experiences of Chinese and Japanese Zen teachers over a period of more than five centuries The Gateless Gate, the famous thirteenth-century collection of Zen koans Ten Bulls, a twelfth century commentary on the stages of awareness leading to enlightenment Centering, a 4,000 year-old teaching from India that some consider to be the roots of Zen. When Zen Flesh, Zen Bones was published in 1957, it became an instant sensation with an entire generation of readers who were just beginning to experiment with Zen. Over the years it has inspired leading American Zen teachers, students, and practitioners. Its popularity is as high today as ever.

These are unique stories of timeless wisdom and understanding from the Zen Masters. With rich and fascinating tales of swords, tigers, tea, flowers and dogs, the writings of the Masters challenge every perception - and seek to bring all readers closer to enlightenment. Throughout history, some books have changed the world. They have transformed the way we see ourselves - and each other. They have inspired debate, dissent, war and revolution. They have enlightened, outraged, provoked and comforted. They have enriched lives - and destroyed them. Now Penguin brings you the works of the great thinkers, pioneers, radicals and visionaries whose ideas shook civilization and helped make us who we are.